HIV cure research: a formidable challenge