TANDEM: Matching Proteins with Tandem Mass Spectra. | AMiner