(4aS,8aS)-2-[3-(5-Benzyl-3-oxo-2-propyl-morpholin-4-yl)-2-hydroxy-propyl]-decahydro-isoquinoline-3-carboxylic acid tert-butylamide AIDS-088623 AIDS088623