New halogenated diterpenes from the red alga Laurencia perforata