AIDS-171799 AIDS171799 Spiro[pyrrolidine-2,2'-tricyclo[3.3.1.13,7]decane], 1,5-dimethyl-