FXR1 and fragile X syndrome: FMRP, FXR1 protein and Dlg4 mRNA, which are associated with fragile X syndrome, are involved in the ubiquitin–proteasome system