Modifications of health resource-use in Italy after the introduction of highly active antiretroviral therapy (HAART) for human immunodeficiency virus (HIV) infection. Pharmacoeconomic implications in a population-based setting