Cost-effectiveness analysis of coronary artery disease screening in HIV-infected men. (August 2014)