AIDS-057024 AIDS057024 Cis-Epoxide deriv. N-[(Benzyloxy)carbonyl]-L-phenylalanyl-N1-{(1S)-1-[(2R,3S)-3-isobutyloxiran-2-yl]-2-phenylethyl}-L-alaninamide