A metabolic pathway for bile acid dehydroxylation by the gut microbiome