Código postal de San Antonio Atotonilco en Ixtacuixtla de Mariano Matamoros, Tlaxcala, México