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