AIDS-171794 AIDS171794 Spiro[pyrrolidine-2,2'-tricyclo[3.3.1.13,7]decane], 3-methyl-