1-Cyclohexene-1-carboxylic acid, 4-(acetylamino)-5-amino-3-(4-methyl-1-piperidinyl)-, (3R,4R,5S)- AIDS-169417 AIDS169417