De novo peptide sequencing