2-Ethyl-5-(12-tridecenyl)pyrrolidine AIDS-137961 AIDS137961 NSC643726