The matrix protein of human immunodeficiency virus type 1 is required for incorporation of viral envelope protein into mature virions