There are only a few hits on coronaviruses, but none of them are HIV-1 related.