Computer-Aided Optimization of Phosphinic Inhibitors of Bacterial Ureases