Mini ways to stop a virus: microRNAs and HIV-1 replication.