Código postal de El Charco de Piedra en Lagunillas, San Luis Potosí, México