Código postal de San Antonio Sección Uno en Ixtenco, Tlaxcala, México