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