Folkehelseinstituttet er hovedkilde til statistikk over HIV og AIDS