2930-80-5 3-beta-Iodocholest-5-ene Cholesteryl iodide EINECS 220-900-9