AIDS-186178 AIDS186178 Piperidine, 1-(cyclopropylmethyl)-2-tricyclo[3.3.1.1~3,7~]dec-2-yl-