1-Cyclohexene-1-carboxylic acid, 4-(acetylamino)-5-amino-3-(4-propyl-1-piperidinyl)-, (3R,4R,5S)- AIDS-169419 AIDS169419