Both 2′,3′-dideoxythymidine and its 2′,3′-unsaturated derivative (2′,3′-dideoxythymidinene) are potent and selective inhibitors of human immunodeficiency virus replication in vitro