HIV infection and AIDS: symptoms and therapy