A novel Diels-Alder approach to carbapenems