Activity-targeted metaproteomics enhances the ecophysiological characterization of cryptic syntrophic metabolisms | Synapse