AIDS is a recognized collection of symptoms and secondary infections that results from the latter acute stages of HIV infection - you can be infected with HIV and not show the signs of AIDS (most HIV infected folks don't). Still, I wouldn't have listed them separately, either.

That said, I think the authors were reaching to fill two lists of fifteen diseases -- and as HIV is transferable by blood I'd stick it on the do not eat list.