Activity and circadian rhythm influence synaptic Shank3 protein levels in mice