Mycgranol, a new diterpene from the marine sponge Mycale aff. graveleyi.