Gravar e-mail: Cerebrodiene: a brain lipid isolated from sleep-deprived cats.