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