CC1=C[C@@]2(C=C(C)[C@@H]3CC[C@@]4(C)Oc5cc(C)c(O)cc5[C@@H]2[C@@H]34)OC1=O Verrubenzospirolactone