Diterpenes, sesquiterpenes, and a C15-acetogenin from the marine red alga Laurencia mariannensis.