The pharmacokinetics of imipenem (thienamycin-formamidine) and the renal dehydropeptidase inhibitor cilastatin sodium in normal subjects and patients with renal failure.