Dolastane diterpenes from the marine brown alga Dictyota cervicornis.