Pitfalls in measuring high‐density lipoprotein cholesterol concentrations in HIV‐infected patients