Code base for the reporting of size of the Australian HIV-infected population