Código postal de Santa Rosa de Lima en San José de Gracia, Aguascalientes, México