AIDS-186030 AIDS186030 Pyrrolidine, 2-tricyclo[3.3.1.1~3,7~]dec-1-yl-, (2S)-