No. The paper by Pradhan et al. was withdrawn and its methodology refuted in https://pubs.acs.org/doi/10.1021/acs.jproteome.0c00129. Spike protein sequences in SARS-CoV-2 don't have any unique similarities to HIV-1.

> Putting these together, we believe that there is a close evolutionary relation between 2019-nCoV and bat coronavirus RaTG13. The four insertions highlighted by Pradhan et al. in the spike protein are not unique to 2019-nCoV and HIV-1. In fact, the similarities in the sequence-based alignments built on these very short fragments are statistically insignificant, as assessed by the BLAST E values, and such similarities are shared in many other viruses, including the bat coronavirus. Structurally, these “insertions” are far away from the binding interface of the spike protein with the ACE2 receptor, as shown in Figure 2, which is also contradictory to the conclusion made by Pradhan et al.