Circularization of human immunodeficiency virus type 1 DNA in vitro