Minimizing proteome redundancy in the UniProt Knowledgebase | Synapse