C=C(C)[C@H]1CC[C@]23C=C(CO)[C@H](CC[C@H]2[C@]1(C)CCC(=O)O)C3 agallochaol K