AIDS-211728 AIDS211728 Tricyclo[3.3.1.1]decan-1-amine, N-methyl-N-(2-propenyl)-