4S-[N-(5-Isoquinolinyloxymethylenecarbony)-.beta.-methanesulfonyl-L-valinyl]amino-(3R,2S)-epoxy-5-phenyl-1-pe N-2R-(1-phenyl-2-methylpropyl) carbamate AIDS-057798 AIDS057798 Epoxy deriv.