AIDS-070636 AIDS070636 Piperidyl pyrazin-2-yl ketone Pyrazine der.