Isolation and structure elucidation of halymeniaol, a new antimalarial sterol derivative from the red alga Halymenia floresii