4S-[N-(2-Quinolinecarbony)-.beta.-methanesulfonyl-L-valinyl]amino-(3R,2S)-epoxy-5-phenyl-1-penN-2R-(2,4-dimethylpentyl) carbamate AIDS-057796 AIDS057796 Epoxy deriv.