AIDS-211718 AIDS211718 Tricyclo[3.3.1.1]decan-1-amine, N-(cyclopropylmethyl)-