AIDS-211737 AIDS211737 Piperazine, 1-tricyclo[3.3.1.1]dec-1-yl-