CC(=O)C[C@H]1C=C(CC[C@]2(C)C(C)=C[C@@H](O)C[C@H]2C)C(=O)O1 dysifragilisin B