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 A