Efficient Quantification of HIV-1 in Heparin Plasma Spiked with Cultured HIV-1 by the Roche Cobas TaqMan and Abbott RealTime HIV-1 Tests