SHANK3 and Alzheimer disease: α3-Na/K-ATPase, synGap, and Shank3 proteins showed loss in the postsynaptic density (PSD) of human AD frontal cortex.