2,2,2-Trichloroethyl 3-cyclohexyl-1-pyrrolidinecarboxylate AIDS-161516 AIDS161516 NSC697387 NSC697388