Operative intervention for postinfarction angina.