Chemical synthesis of biologically active tat trans-activating protein of human immunodeficiency virus type 1