Código postal de San Ildefonso en Tepeji del Río de Ocampo, Hidalgo, México