The diffusion coefficient of 14C-labelled ethylene in normal ethylene at high pressure.