Everyone who has AIDS also has HIV.