Sarcophytin, A Novel Tetracyclic Diterpenoid From The Indian Ocean Soft Coral Sarcophyton elegans