Cost-effectiveness of zofenopril in patients with left ventricular systolic dysfunction after acute myocardial infarction: a post hoc analysis of SMILE-4.