A new stereocontrolled synthesis of dihydroxerulin, a potent noncytotoxic inhibitor of the biosynthesis of cholesterol