AIDS-058817 AIDS058817 Boc-P-(N-propenyl)-A-I-V-OMe Boc-Phe-(N-propenyl)-Ala-Ile-Val-OMe