1-Benzoyl-3,3-dibromo-2-piperidone AIDS-018757 AIDS018757