Cigarette smoking, exercise and high density lipoprotein cholesterol