ProGCL: Rethinking Hard Negative Mining in Graph Contrastive Learning | Synapse