Bioactive terpenoids from Octocorallia, I. Bioactive diterpenoids: litophynols A and B from the mucus of the soft coral Litophyton sp.