Sesquiterpenes from the marine red alga Laurencia distichophylla