HIV is a virus