Pravastatin for Nocturnal Leg Cramps