AIDS-171795 AIDS171795 Spiro[pyrrolidine-2,2'-tricyclo[3.3.1.13,7]decane], 1,3-dimethyl-