Código postal de Alta Luz del Castillo en Tepatlaxco, Veracruz de Ignacio de la Llave, México