(3R,4R,5S)-4-Acetamido-5-amino-3-hydroxy-1-cyclohexene-1-car-boxylic acid AIDS-095379 AIDS095379