Código postal de San Antonio en Atltzayanca, Tlaxcala, México