Effect of cardiac glycosides on human cerebrospinal-fluid production.