2-Ethynylcycloheptanol AIDS-138164 AIDS138164 NSC644325 Trans-2-Ethynyl-cycloheptanol