Statin-associated muscle symptoms in coronary patients: design of a randomized study