Coronary artery disease in patients 35 years of age or older with valvular aortic stenosis.