Electroencephalography in patients with cirrhosis.