Ring-closing metathesis of chiral allylamines. Enantioselective synthesis of (2S,3R,4S)-3,4-dihydroxyproline.