AIDS-096791 AIDS096791 Boc-Asp(t-Bu)-Glu-(t-Bu)-Val-Val-Pro Boc-D(t-Bu)-E(t-Bu)-V-V-P derivative