AIDS-184867 AIDS184867 [1,3]Dioxolo[6,7]naphth[1,2-c]isoxazole-4-carboxylic acid, 3,3a,4,5-tetrahydro-5-(4-methoxy-2-phenazinyl)-, methyl ester, (3aR,4R,5R)-