Aortic valve replacement for aortic stenosis in persons aged 80 years and over.