3-Isoquinolinecarboxamide, N-(1,1-dimethylethyl)decahydro-2-[(2R,3S)-2-hydroxy-3-[[(2S)-2-methyl-3-(methylsulfonyl)-1-oxopropyl]amino]-4-phenylbutyl]-, (3S,4aS,8aS)- AIDS-031064 AIDS031064