C=C[C@@](C)(CC/C=C(\C)CC[C@@]1(C)C(C)=CCC[C@@H]1C)S(=O)(=O)CCNC(=N)N isoagelasidine B