ethynyl ethylene ethinyl ethylidene diethynyl ethynylbenzene propylidene diethylene acetylenyl phenylethynyl