AIDS-171796 AIDS171796 Spiro[pyrrolidine-2,2'-tricyclo[3.3.1.13,7]decane], 4-methyl-