1-(3-Thienylmethyl)-1.lambda.~5~,3,5,7-tetraazatricyclo[3.3.1.1~3,7~]decane AIDS-127620 AIDS127620 NSC172864