acetylenediol ethanediol ethynol diethynyl ynediol acetenyl diethoxy ethoxyethane ethylin hydroethidium