In silico identification and experimental validation of hits active against KPC-2 β-lactamase