AIDS-220223 AIDS220223 Pyrrolidine, 3-tricyclo[3.3.1.13,7]dec-2-yl-