Methods to evaluate the efficacy and toxicity of RNA molecules targeting post-integration steps of the HIV-1 replication cycle are described. These methods are useful for screening new molecules and optimizing the format of existing ones.