Metabolism of cholic acid in germfree animals after the establishment in the intestinal tract of deconjugating and 7 alpha-dehydroxylating bacteria.