AIDS-184876 AIDS184876 [1,3]Dioxolo[6,7]naphth[1,2-c]isoxazole-4-carboxylic acid, 3,3a,4,5-tetrahydro-5-(5-methoxy-3,4-dioxo-1,5-cyclohexadien-1-yl)-, methyl ester, (4R,5R)-