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