(3R,4R,5S)-4-Acetamido-5-amino-3-ethoxy-1-cyclohexene-1-car-boxylic acid AIDS-095372 AIDS095372