Código postal de Miguel Alemán en San Andrés Tuxtla, Veracruz de Ignacio de la Llave, México