TANDEM: matching proteins with tandem mass spectra | Synapse