Diastereoselective synthesis of bicyclo[2.2.2]octanes by double Michael addition