FMR1 and fragile X syndrome: Hyperactivity is the most common symptom of FXS patients and fmr1 KO mice.