2-Pyrazinecarboxamide, N-[(1S)-2-[[(1S)-1-formyl-3-methylbutyl]amino]-1-(1-naphthalenylmethyl)-2-oxoethyl]- AIDS-113554 AIDS113554