AIDS-070715 AIDS070715 Dehydrocostus lactone der. Dehydrocostus lactone, 4.alpha., 10.alpha.-epoxide