Proton Transfer Charge Reduction Enables Isobaric Labeling-Based Proteoform Quantification of Overlapping Signals in Top-Down Mass Spectrometry | Synapse