Smoking, increase in plasma lipoprotein (a) and triglycerides, as well as decrease in plasma HDL-cholesterol concentrations seem to be linked with aortic valve stenosis and its progression