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