HIV causes AIDS.