AIDS-070712 AIDS070712 Dehydrocostus lactone der. Dehydrocostus lactone, 10.beta.-epoxide