Identification of a sequence required for efficient packaging of human immunodeficiency virus type 1 RNA into virions | Synapse