C=C[C@]1(C)CC[C@H]2C(C)=CC[C@@H](C)[C@]2(C)O1 isodactyloxene A