Terpenoids from marine red alga Laurencia pinnatifida