AIDS-070714 AIDS070714 Dehydrocostus lactone der. Dehydrocostus lactone, 4.beta., 10.alpha.-epoxide