AIDS-070716 AIDS070716 Dehydrocostus lactone der. Dehydrocostus lactone, 4.alpha., 10.beta.-epoxide