FMR1 and fragile X syndrome: The Fmr1 knockout mouse has been extensively characterized as an animal model of FXS.