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