Diterpenes from the red alga Sphaerococcus coronopifolius. Structure of sphaerodiene and reassignment of structure for presphaerol.