A new strategy for the synthesis of carbapenems. A formal total synthesis of (+)-thienamycin.