2-Ethyl-5-tridecylpyrrolidine AIDS-137960 AIDS137960 NSC643725