A 47-year-old man with decompensated cirrhosis is admitted with altered mental status and was started on lactulose. Despite 48 hours of therapy, his condition has not improved.What is the next best step in management?