AIDS-220218 AIDS220218 Pyrrolidine, 1-propyl-3-tricyclo[3.3.1.13,7]dec-2-yl-