6,7,8,9-Tetrahydro-3-dibenzofurancarboxylic acid AIDS-018160 AIDS018160