Gravar-mail: 96 shRNAs designed for maximal coverage of HIV-1 variants