Halogenated diterpenoids from the red alga Laurencia nipponica.