A Study of MKC-442 in HIV-Positive Patients | NCT00002413 | Trialant