A 45-year-old man with a duodenal ulcer was treated with a combination of drugs intended to heal the mucosal damage and to eradicate Helicobacter pylori. An antibacterial drug that is used commonly to eradicate intestinal Helicobacter pylori is