Text this: Large-scale prediction shows that the dominant structure of the HIV-1 domain closed by the U5-AUG duplex contains the alternative SDa hairpin, and the domain variant without SD is rare