AIDS is a type of disease.