Statins in adult patients with HIV