isocholesterol

not defined yet