Intra-ocular pressure levels during extracorporeal circulation in man.