Duration of the survival benefit of zidovudine therapy in HIV infection.