Cerebellar amyloid-β plaques: disturbed cortical circuitry in AβPP/PS1 transgenic mice as a model of familial Alzheimer's disease.