Editing of ubiquitin conjugates by an isopeptidase in the 26S proteasome