MRK discontinues MK-8507—an HIV NNRTI: https://finance.yahoo.com/news/merck-provides-phase-2-clinical-225700816.html I don’t think anyone was ascribing much value to this compound.