Synthesis of amide-type fluoroalkene dipeptide isosteres by an intramolecular redox reaction.