(2-Fluorophenyl)-N-(naphthylcarbonylamino)carboxamide AIDS-071154 AIDS071154 NSC88633