AIDS-211445 AIDS211445 Spiro[pyrrolidine-3,2'-tricyclo[3.3.1.13,7]decane], 1-methyl-