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