(4S,5R,6R)-5-(Acetylamino)-4-methyl-6-(pyrrolidinylcarbonyl)-4H-5,6-dihydropyran-2-carboxylic acid AIDS-169305 AIDS169305