Código postal de San Ildefonso en Villa de Allende, México, México