AIDS-186176 AIDS186176 Piperidine, 1-methyl-2-tricyclo[3.3.1.1~3,7~]dec-2-yl-