Código postal de San Antonio del Portezuelo en Mazapil, Zacatecas, México