A novel ring-closure strategy for the carbapenems: the total synthesis of (+)-thienamycin