AIDS-057023 AIDS057023 Cis-Epoxide deriv. Methyl N-({(2R,3R)-3-[(4-nitrophenoxy)methyl]oxiran-2-yl}carbonyl)-L-leucinate