AIDS-184882 AIDS184882 [1,3]Dioxolo[6,7]naphth[1,2-c]isoxazole-4-carboxylic acid, 5-[3,4-bis(acetyloxy)-5-methoxyphenyl]-3,3a,4,5-tetrahydro-, methyl ester, (3aR,4R,5R)-