Total synthesis of marine terpenoids