CO[C@@H]1C(=O)CC[C@]2(O)CO[C@@H](CC=C(C)C)[C@](C)(O)[C@@]12O ovalicin derivative