"Cholestenol Delta-isomerase" . . . . "cholestenol \u0394-isomerase" . . "Cholestenol Delta-isomerase" . "5.3.3.5" .