Solid-phase synthesis of peptides containing bulky dehydroamino acids