(4R,5R)-4-(Acetylamino)-5-[(diethylamino)carbonyl]-1-cyclohexene-1-carboxylic acid AIDS-114187 AIDS114187