(3R,4S,6R)-3-Cyclohexylmethyl-4-hydroxy-6-((1S,2R)-2-hydroxyindan-1-ylcarbamoyl)-7-(4-hydroxyphenyl)-heptanoic acid tert-butyl ester AIDS-088714 AIDS088714