20alpha-hydroxysteroid dehydrogenase