Diterpenes from the red alga Sphaerococcus coronopifolius