(3.alpha.,4.beta.,7.beta.,8.alpha.,9.beta.,10.alpha.)-18-(Acetyloxy)-3-[(1,3-benzodioxol-5-ylcarbonyl)oxy]kaur-16-en-7-yl 1,3-benzodioxole-5-carboxylate- AIDS-155585 AIDS155585