[croes]

I would capitalize every letter which is pronounced individually.

So it's HIV but Nasa, and because you can hardly pronounce DJGPP it's all capital letters.