An 82-year-old hospitalized patient with creatinine clearance of 25 mL/min has a microbial infection requiring treatment with antibiotics. Which one of the following drugs is least likely to require a dosage adjustment, either a smaller dose than usual or an increased interval between doses?