A cure for HIV: how would we know?