“Cerebrodiene: A Brain Lipid Isolated from Sleep-Deprived Cats,” Proceedings of the National Academy of Sciences, Vol. 91, No. 20 (1994), 9505-9508.