High-Performance Reductive Strategies for Big Data from LC-MS/MS Proteomics