Fmr1-knockout Mice Present Main Phenotypic Traits of Fragile X Syndrome