AIDS-085372 AIDS085372 Nelfinavir deriv. [3S-[2(2S*,3S*),3.alpha.,4a.beta.,8a.beta.,]]-N-(1,1-Dimethyl-2-hydroxyethyl)decahydro-2-[2-hydroxy-3-[(3-hydroxy-2-methylbenzoyl)amino]-4-(phenylthio)butyl]-3-isoquinolinecarboxamide