(4aS,8aS)-2-[3-((S)-6-Benzyl-3,3-dimethyl-2-oxo-piperazin-1-yl)-2-hydroxy-propyl]-decahydro-isoquinoline-3-carboxylic acid tert-butylamide AIDS-088598 AIDS088598