AIDS-057020 AIDS057020 Cis-Epoxide deriv. {(2S,3R)-3-[(4-Nitrophenoxy)methyl]oxiran-2-yl}methyl N-[(benzyloxy)carbonyl]-D-valyl-D-valinate