and what is the difference between HIV and AIDS?