A method for reducing the time required to match protein sequences with tandem mass spectra | Synapse