Sex differences in benzodiazepine use in the HIV-infected population