Jackson had been administered Control propofol and anti-anxiety benzodiazepines lorazepam and midazolam by his doctor .