Cervicol, a further secodolastane diterpene from the marine brown alga Dictyota cervicornis Kützing (Phaeophyceae, Dictyotaceae).