Ribosomal synthesis of dehydroalanine-containing peptides.