De novo sequencing of proteins by mass spectrometry | Synapse