vinyl ethyl ether