Código postal de Juan Arroyo (San Isidro) en Tlaxco, Tlaxcala, México