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