AIDS-070711 AIDS070711 Dehydrocostus lactone der. Dehydrocostus lactone, 4.alpha.-epoxide