The laboratory diagnosis of HIV infection