(3R,4R,5S)-4-Acetamido-5-amino-3-butoxy-1-cyclohexene-1-car-boxylic acid AIDS-095374 AIDS095374