The role of statins in the setting of HIV infection.