Bacteria in the large intestine of man are important in the