AIDS-171800 AIDS171800 Spiro[pyrrolidine-2,2'-tricyclo[3.3.1.13,7]decane]