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