AIDS-184881 AIDS184881 [1,3]Dioxolo[6,7]naphth[1,2-c]isoxazole-4-carboxylic acid, 3,3a,4,5-tetrahydro-5-(8-methoxy-6-quinoxalinyl)-, methyl ester, (3aR,4R,5R)-