Efficacy and safety of fluvastatin in hyperlipidemic protease inhibitor-treated HIV-infected patients.