1H-Pyrimido[1,2-a]quinolin-1-one, 2-(1-oxopropyl)-6-(1-piperidinyl)- AIDS-058477 AIDS058477 Compound III