Spiroleptosphol isolated from Leptosphaeria doliolum.