Editing out HIV: application of gene editing technology to achieve functional cure