Safety, pharmacokinetics, and efficacy of (+/-)-beta-2',3'-dideoxy-5-fluoro-3'-thiacytidine with efavirenz and stavudine in antiretroviral-naïve human immunodeficiency virus-infected patients.