Prevalence of coronary atherosclerosis in patients with aortic valve replacement.