AIDS-050815 AIDS050815 NSC34278 Naphtho[2,3-d]-1,3-dioxole-6-carboxylic acid, 5,6,7,8-tetrahydro-8-hydroxy-7-(hydroxymethyl)- Naphthodioxole deriv.