Código postal de San José de Álvarez en Armadillo de los Infante, San Luis Potosí, México