quencing and identi fi cation of peptidic natural products : from genome mining to peptidogenomics to spectral networks