Isoagatholactone, a diterpene of a new structural type from the sponge Spongia officinalis