Cholestenone metabolism in man.