A Bioinformatics Workflow for Variant Peptide Detection in Shotgun Proteomics | Synapse