The effect of physical exercise on cholesterol degradation in man.