AIDS-070713 AIDS070713 Dehydrocostus lactone der. Dehydrocostus lactone, 10.alpha.-epoxide