4.alpha.-Epoxyisoalantolactone AIDS-010230 AIDS010230