Aberrant succination of proteins in fumarate hydratase‐deficient mice and HLRCC patients is a robust biomarker of mutation status | Synapse