(3R,4r,5S)-4-Acetamido-5-amino-3-propoxy-1-cyclohexene-1-car-boxylic acid AIDS-095373 AIDS095373