4S-[N-(2-Quinolinecarbony)-.beta.-methanesulfonyl-L-valinyl]amino-(3R,2S)-epoxy-5-phenyl-1-pentyl N-2R-(1-phenyl-3-methylbutyl) carbamate AIDS-057794 AIDS057794 Epoxy deriv.