Isolations and structures of new ureido amino acids, lividine and grateloupine, from red algae Ograteloupia c. agardh genus