Marine Natural Products, IX A New Halogenated Sesquiterpene Pinnatifidone from the Red Alga Laurencia pinnatifida