AIDS-171801 AIDS171801 Benzoic acid analog Spiro[pyrrolidine-2,2'-tricyclo[3.3.1.13,7]decane], 1-methyl-