Detection of metabolic abnormalities in different genotypes of Shank3 deficiency in mice using MRS at 11.7T