Integration of computational and experimental techniques for the discovery of PLpro covalent inhibitors. When large virtual screening and rational design meet | Synapse