A 73-year-old man has angina pectoris on exertion, but an angiogram reveals noncritical stenosis of the coronary arteries. This occurs most frequently with which of the following valvular heart diseases?