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