Tag: convert ethanol to but-1-yne