2-Piperidinemethanol, .alpha.-[3,6-bis(trifluoromethyl)-9-phenanthrenyl]- AIDS-085598 AIDS085598 RTI1171-1-2