A Marks 17O cholesterol in CDCl3 ; 13C{1H} spectrum using Av500 ; Oct19-2015/1