Synaptic proteasome is inhibited in Alzheimer’s disease models and associates with memory impairment in mice