Ethyl propenyl ether