FMR1 and fragile X syndrome: Fmr1 KO is a model of Fragile X syndrome, frequently co-diagnosed with ASD.