Influence of Escherichia coli shiga toxin on the mammalian central nervous system.