Molecular docking programs successfully predict the binding of a β-lactamase inhibitory protein to TEM-1 β-lactamase