AIDS-121437 AIDS121437 Naphtho[2,3-d]-1,3-dioxole-6,7-dicarboxylic acid, 5-(1,3-benzodioxol-5-yl)-5,6-dihydro-, diethyl ester, (5R,6S)-