Managing an HIV infection