Alpha-beta-dehydro-amino acid residues in the design of peptide structures. Molecular and crystal structures of two folded dehydro peptides.