Integration of virtual screening and proteomics reveals potential targets and pathways for ginsenoside Rg1 against myocardial ischemia | Synapse