Strategies for an HIV cure: progress and challenges