The synthesis of cholesterol-2,2,4,4,6-d5