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