HPLC and electrochemical investigations of the salt-induced peptide formation from glycine, alanine, valine and aspartic acid under possible prebiotic conditions