Tag: how to convert ethanol to but-1-yne