Proteogenomic Analysis Identifies a Novel Human SHANK3 Isoform