Next-generation peptide sequencing. (December 2018)