Vidalenolone, a novel phenolic metabolite from the tropical red alga Vidalia sp.