19-Iodocholesterol