AIDS-019951 AIDS019951 beta, beta-Difluoro-p-phenetidine