HMGCR and familial hypercholesterolemia: In mice, HMGCR degraders alone or together with statins effectively ameliorate diet-induced hypercholesterolemia [139, 141].