CC1(C)C(=O)CC[C@]2(C)[C@H]3CC=C4COC(=O)[C@H]4[C@]3(C)CC[C@@H]12 spongian-type diterpene