Aldingenin derivatives from the red alga Laurencia aldingensis.