FMR1 and fragile X syndrome: Fmr1 knockout (KO) mice are the best characterized model to study fragile X syndrome.