1-(Cyclohexylsulfonyl)-3a,4,5,6,7,7a-hexahydro-1H-1,2,3-benzotriazole AIDS-127114 AIDS127114 NSC144428