AIDS-184874 AIDS184874 [1,3]Dioxolo[6,7]naphth[1,2-c]isoxazole-4-carboxylic acid, 3,3a,4,5-tetrahydro-5-(3,4,5-trimethoxyphenyl)-, methyl ester, (4R,5R)-