2,2'-Dihydroxy-[1,1'-binaphthalene]-3,3'-dicarboxylic acid AIDS-018137 AIDS018137