Halogenated eudesmane derivatives and other terpenes from the marine red alga Laurencia pinnata and their chemotaxonomic significance. (February 2016)