HPLC of peptides and proteins: basic theory and methodology.