AIDS-211453 AIDS211453 Spiro[bicyclo[2.2.1]heptane-2,3'-pyrrolidine], 1,1',7,7-tetramethyl-