Evaluation of Detection Methods of HIV Proliferation for the Screening of Anti-HIV Compounds