1-Cyclohexene-1-carboxylic acid, 4-(acetylamino)-5-amino-3-(4-ethyl-1-piperidinyl)-, (3R,4R,5S)- AIDS-169418 AIDS169418