Marine natural products III. Johnstonol, an unusual halogenated epoxide from the red alga Laurencia johnstonii