gp120 (0.2 μg), q.d. intrathecally