Stereoselective synthesis of (±)-5-(1-benzyloxyethyl)-6-(2-tert-butyldiphenyloxyethyl)-2-piperidinone: a formal total synthesis of thienamycin