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