Código postal de San Juan (Entrada a las Antenas) en Ixtaczoquitlán, Veracruz de Ignacio de la Llave, México