Diastereoselective synthesis of (2R,4R)-2-aryl-4-hydroxypyrrolidine: preparation of the side chain of novel carbapenem.