HIV patients face double the risk of heart disease. Taking a statin could help