Como é feito o diagnóstico laboratorial da infecção pelo HIV?