New diterpenoids from the marine mangrove Bruguiera gymnorrhiza.