Cation–π interactions in protein–ligand binding: theory and data-mining reveal different roles for lysine and arginine | Synapse