AIDS-186177 AIDS186177 Piperidine, 1-ethyl-2-tricyclo[3.3.1.1~3,7~]dec-2-yl-