Código postal de Lomas de San José en San Miguel de Allende, Guanajuato, México