AIDS-171797 AIDS171797 Spiro[pyrrolidine-2,2'-tricyclo[3.3.1.13,7]decane], 1,4-dimethyl-