(2S,4R)-1-((2R,3S)-2-Hydroxy-3-{[1-(3-hydroxy-2-methylphenyl)-methanoyl]-amino}-4-phenyl-butyl)-4-(pyridin-4-ylmethoxy)-piperidine-2-carboxylic acid tert-butylamide AIDS-088842 AIDS088842